301. Soft computing applications with 64 tables
پدیدآورنده : Andrea Bonarini ... (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Soft Computing
رده :
QA76
.
9
.
S63
A537
2003
302. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
303. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
304. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Software engineering.
305. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
306. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
307. Software testing :
پدیدآورنده : Naresh Chauhan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Testing.,Logiciels -- Essais.
رده :
QA76
.
76
.
T48
N374
2010
308. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
309. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
310. Stochastic computing :
پدیدآورنده : Warren J. Gross, Vincent C. Gaudet, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Probabilistic automata.,Stochastic programming.,Probabilistic automata.,Stochastic programming.
رده :
QA267
.
5
.
P7
311. Structured data processing design and logic
پدیدآورنده : Ort, Harry H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Structured programming
رده :
QA
76
.
6
.
O78
1985
312. Stylish F♯ :
پدیدآورنده : Kit Eason.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microsoft .NET Framework.,Microsoft .NET Framework.,Computer programming.,F♯ (Computer program language),Computer programming.,FÄ (Computer program language)
رده :
QA76
.
6
313. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
314. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
315. Tap, move, shake :
پدیدآورنده : Todd Moore ; [foreword by Steve Wozniak]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development,Computer games-- Design,Computer games-- Programming,iPad (Computer)-- Programming,iPhone (Smartphone)-- Programming,Objective-C (Computer program language)
رده :
QA76
.
76
.
O63
M998
2012
316. Testing object-oriented systems :
پدیدآورنده : Robert V. Binder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing.,Object-oriented programming (Computer science),Computer software-- Testing.,Object-oriented programming (Computer science)
رده :
QA76
.
64
.
B56
2000
317. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
318. The PIC microcontroller :
پدیدآورنده : John Morton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits-- Design and construction.,Microcomputers-- Circuits.,Microelectronics.,Programmable controllers.,Integrated circuits-- Design and construction.,Microelectronics.,Programmable controllers.,TECHNOLOGY & ENGINEERING-- Automation.
رده :
TJ223
.
P76
M67
2005eb
319. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
320. The 8088 and 8086 microprocessors :
پدیدآورنده : Walter A. Triebel, Avtar Singh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intel 8086 (Microprocessor),Intel 8088 (Microprocessor)
رده :
QA76
.
8
.
I29283
T74
2003
